--------------------------------------------------------------------------------

--                                                                            --

--                  R A T I O N A L _ N U M B E R S                           --

--                  . R E D U C I N G _ B I N A R Y _ O P E R A T O R         --

--                                                                            --

--                                  S p e c                                   --

--                                                                            --

--------------------------------------------------------------------------------

private generic
  with function Binary_Operator (X, Y : Rational) return Rational;
function Rational_Numbers.Reducing_Binary_Operator (X, Y : Rational) return Rational;
